Rigorous development of composite grid services
نویسندگان
چکیده
منابع مشابه
Rigorous development of composite grid services
CRESS (Communication Representation Employing Systematic Specification) is introduced as notation, a methodology and a toolset for service development. The article focuses on rigorous development of composite grid services, with particular emphasis on the principles behind the methodology. A straightforward graphical notation is used to describe grid services. These are then automatically speci...
متن کاملA rigorous approach to orchestrating grid services
Although conceived for web services, it is shown how BPEL (Business Process Execution Language) can be used to orchestrate a collection of grid services. This is achieved using the technique of CRESS (Communication Representation Employing Systematic Specification) to describe the composition of grid services. CRESS descriptions are automatically translated into LOTOS (Language Of Temporal Orde...
متن کاملRapid Development of Composite Applications Using Annotated Web Services
Developing service-based interactive applications is time consuming and nontrivial. Annotating web services with additional information about the user interface and behavior of the service promises to ease and accelerate the development process. In this paper we present a model-driven development approach that utilizes the advantages of annotated web services during the service composition. It ...
متن کاملRigorous Development in UML
The Uni ed Modelling Language (UML) is becoming the de facto industry standard notation for object-oriented analysis and design. In this paper we propose a development process using UML and other notations which supports formal analysis and veri cation, so enabling the notation to be used for highly critical systems. We will illustrate the development process using a small example of a tra c li...
متن کاملRigorous development of JavaCard applications
We present an approach to rigorous, tool supported design and development of JavaCard applications. We employ the Unified Modelling Language (UML) and formal methods for object oriented software development in our approach. Our goal is to make JavaCard applications robust “by design”, to make the development process independent of the JavaCard platform used and to enable applications to be veri...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Network and Computer Applications
سال: 2012
ISSN: 1084-8045
DOI: 10.1016/j.jnca.2012.01.015